A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Concurrent Collections
نویسندگان
چکیده
We present a programming methodology and runtime performance case study comparing the declarative data flow coordination language S-NET with Intel’s Concurrent Collections (CnC). As a coordination language S-NET achieves a near-complete separation of concerns between sequential software components implemented in a separate algorithmic language and their parallel orchestration in an asynchronous data flow streaming network. We investigate the merits of S-NET and CnC with the help of a relevant and non-trivial linear algebra problem: tiled Cholesky decomposition. We describe two alternative S-NET implementations of tiled Cholesky factorization and compare them with two CnC implementations, one with explicit performance tuning and one without, that have previously been used to illustrate Intel CnC. Our experiments on a 48-core machine demonstrate that S-NET manages to outperform CnC on this problem. Keywords-performance measurement; coordination programming; stream processing; concurrent collections; parallel programming; language design
منابع مشابه
Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملPetri Net-based Coordination Component for Collaborative Design
Considering the lack of efficient coordination of task interdependencies in a collaborative design system, the temporal and resource coordination mechanisms for the problems in our investigation are established based on Petri Nets. The whole system could be expanded as a Petri Net for simulation and analysis. The architecture of reusable and pluggable components is also introduced to implement ...
متن کاملModeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems A Dataflow-driven Approach Using S-Net
In this paper we present the implementation of a concurrent ant colony optimisation based solver for the combinatorial Single Machine Total Weighted Tardiness Problem (ACOSMTWTP). We introduce S-Net, a coordination language based on dataflow principles, report on the performance of the implementation and compare it against a sequential and a parallel implementation of the same algorithm in C. A...
متن کاملConcurrency Engineering with S-Net
We present the design of S-Net, a coordination language and component technology based on stream processing. S-Net boxes integrate existing sequential code as stream-processing components into highly asynchronous concurrent streaming networks. Their construction is based on algebraic formulae built out of four network combinators. S-Net achieves a near-complete separation of concerns between ap...
متن کاملA Model for Developing the Best Strategy Combination Based on Balanced Scorecard, Fuzzy Net Present Value and Game Theory
Increasing competition has caused that organizations using evaluation, control and performance improvement try to maintain their supremacy in global markets. Balanced Scorecard model is one of the ways that can help organizations achieve this goal. In this study, the limitations of selecting performance criteria and executive strategies in balanced scorecard are discussed and two tools of curre...
متن کامل